Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
651	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
652	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
653	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-11 17:29:55 Automated planning and scheduling STRIPS First-order logic FO Mathematical logic Logic Metalogic
654	AN OVERVIEW OF λPROLOG GOPALAN NADATHUR Department of Computer Science Duke University Durham, NC Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:44 Logic in computer science Automated theorem proving Logic programming Model theory Predicate logic ΛProlog First-order logic Prolog Interpretation Logic Mathematical logic Mathematics
655	Noname manuscript No. (will be inserted by the editor) A two-level logic approach to reasoning about computations Andrew Gacek · Dale Miller · Gopalan Nadathur Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-25 14:38:54 Model theory Proof theory Automated theorem proving Formal languages Propositional calculus Interpretation Sequent calculus Symbol Substitution Logic Mathematical logic Mathematics
656	Logic-Flow Analysis of Higher-Order Programs Matt Might http://matt.might.net/ POPL 2007 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer errors Arrays Formal methods Data types Automated theorem proving Principles of Programming Languages Bounds checking Array data type C Computing Software engineering Computer programming
657	Project proposal Generic Decision Procedures for Many-valued Logics Acci´on Integrada Hispano-Austr´ıacas Gernot Salzer Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-09-21 05:04:02 Fuzzy logic Logic in computer science Many-valued logic Model theory Automated theorem proving First-order logic Natural deduction Modal logic Łukasiewicz logic Logic Mathematical logic Non-classical logic
658	Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-01-20 13:14:01 Computer science Logic in computer science Reasoning Artificial intelligence Automated reasoning Max Planck Institute for Computer Science Logic programming International Joint Conference on Automated Reasoning Federated Logic Conference Theoretical computer science Applied mathematics Automated theorem proving
659	Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2011-09-06 10:46:19 Automated theorem proving Logic in computer science NP-complete problems Boolean algebra Logic programming Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematics Mathematical logic
660	Journal on Satisfiability, Boolean Modeling and Computation[removed] ManySAT: a Parallel SAT Solver Youssef Hamadi [removed] Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-12-08 06:37:10 Automated theorem proving Logic in computer science Computer file formats Mathematical optimization Operations research Boolean satisfiability problem DPLL algorithm Resolution Clause Theoretical computer science Mathematics Applied mathematics

UPDATE